Integrated Formal Methods IFM 2000 (Conference... Paperback Published 18 Oct 2000 Save $5.85 RRP $61.06 $55.21 In Stock